for (int c0 = 46; c0 <= 70; c0 += 12)
  s0(c0, (17 * c0 - 170) / 12);
